2.
Computer Aided Verification 15th International Conference, Cav 2003, Boulder, Co, Usa, July ...
by Hunt, Warren A., Jr., Somen...
ISBN: 9783540405245
List Price: $89.95
3.
Theory of Experiential Education
by Warren, Karen, Sakofs, Mitc...
ISBN: 9780787202620
List Price: $29.00
5.
Computer Aided Verification
by Hunt, Jr Warren a, Somenzi,...
ISBN: 9783662186855
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Formal Methods in Computer-Aided Design
by Hunt, Warren A. Jr., Johnso...
ISBN: 9783662211731
List Price: $24.99